翻訳と辞書 |
CPN Tools CPN Tools is a tool for editing, simulating, and analyzing high level Petri nets. It supports basic Petri nets plus timed Petri nets and Colored Petri nets. It has a simulator and a state space analysis tool is included. CPN Tools is originally developed by the CPN Group at Aarhus University from 2000 to 2010. The main architects behind the tool are Kurt Jensen, Søren Christensen, Lars M. Kristensen, and Michael Westergaard. From the autumn of 2010, CPN Tools is transferred to the AIS group, Eindhoven University of Technology, The Netherlands. CPN Tools comprises two main components, a graphical editor and a backend simulator component. The graphical editor is written in the academic language, BETA, and the simulator backend is written in the Standard ML variant SML/NJ. == External links ==
* (cpntools.org ) CPN Tools
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「CPN Tools」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|